Model checking software - 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
- Författare
- Matthew Dwyer International SPIN Workshop 2001 : Toronto)
- (Matthew Dwyer (ed.)., Includes bibliographical references and index)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, Berlin | 311 sidor. ill. |